# Remote
extern "ssh" [

	...args
]